强BZ-代数的特征

将原子及其分支的概念引入ＢＺ－代数，并提出强ＢＺ－代数的概念。深入讨论了它们的性质，得到强ＢＺ－代数的若干特性。     

基于格值逻辑系统LP(X)的α-归结域的代数结构

首先得到了与g不可α-归结的广义文字的集合D*_α (g)做成了∨-半群且也是一个序滤子;其次研究了由D*_α (g)所确定的一个新的代数结构D^f,D^f做成一个格滤子,并研究了D^f的一些相关性质;最后研究了由D^f所确定的代数结构κ(D),得到了κ(D)构成滤子并研究了κ(D)的结构。     

Lie group method: A new approach to image matching with arbitrary orientations

In this article, we develop a new method for image matching of any two images with arbitrary orientations. The idea comes from the workpiece localization in machining industry. We first describe an image as a 3D point set other than the common 2D function f(x, y), then, making the sets corresponding to the compared images form solid surfaces, we equivalently translate the matching problem into an optimization problem on the Lie group SE(3). Through developing a kind of steepest descent algorithms on a general Lie group, we present an practical algorithm for matching problem. Simulations of eye detection and face detection are presented to show the feasibility and efficiency of the proposed algorithm. © 2010 Wiley Periodicals, Inc. Int J Imaging Syst Technol, 20, 245–252, 2010.     

粗糙集代数与BR0代数

讨论粗糙集代数与BR₀代数的关系,以及由粗糙集代数构造BR₀代数的方法。借助近似代数的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为BR₀代数。     

泛逻辑学中UB代数系统的(∈,∈∨q)-fuzzy滤子

何华灿教授给出了理想状态下的泛逻辑学的形式演绎系统β,并证明了该系统的可靠性。并且提出了理想状态下的泛逻辑学对应的代数系统-UB代数,并讨论了它们的性质。在以上这些结果的基础上,引入UB代数的(∈,∈∨q)-fuzzy滤子和(∈,∈∨q)-fuzzy关联滤子的概念,获得了它们的若干等价刻画,证明了(∈,∈∨q)-fuzzy关联滤子的扩张定理。     

The Termination Hierarchy for Term Rewriting

A number of properties of term rewriting systems related to termination are discussed. It is examined how these properties are affected by modifications in the definitions like weakening the requirement of strict monotonicity and adding embedding rules. All counterexamples to prove non-equivalence of properties are string rewriting systems, in most cases even single string rewrite rules. Received: June 15, 1999; revised version: August 7, 2000     

理想拓扑下的矩阵收敛定理

给出了理想拓扑下矩阵一致收敛的几个新结果,并得到了效应代数上理想拓扑意义下的一种新型Antosik-Swartz矩阵定理.     

基于李群李代数的主被动关节机器人动力学及控制

采用李群李代数符号描述了含主被动关节机器人的动力学分析和控制问题。首先用李群李代数描述了机器人的反向动力学,然后将牛顿-欧拉方法和铰接体惯量方法结合起来,给出了含主被动关节的机器人动力学解决方法。利用动力学方法得到的结果,采用计算力矩控制方法进行仿真,并与PID控制方法的仿真结果进行比较,验证了计算力矩方法的较好的性能特征。     

Computing the fine structure of real reductive symmetric spaces

Much of the structure of Lie groups has been implemented in several computer algebra packages, including LiE, GAP4, Chevie, Magma and Maple. The structure of reductive symmetric spaces is very similar to that of the underlying Lie group and a computer algebra package for computations related to symmetric spaces would be an important tool for researchers in many areas of mathematics. Until recently only very few algorithms existed for computations in symmetric spaces due to the fact that their structure is much more complicated than that of the underlying group.     

A congruence relation for sPBC

In this paper we define a congruence relation for regular terms of sPBC (stochastic Petri Box Calculus), by means of which we identify those processes that have the same behaviour, not only in terms of the multiactions that they can perform, but also taking into account the stochastic information that they have associated. In order to define this equivalence relation we have to define an adequate semantics for the synchronization operator, as well as a new labelled transition system for regular terms of sPBC.